Open morphisms of real closed spaces

Morphisms of polar spaces

Polar spaces are presented from the point of view of paraprojective spaces. Morphisms are introduced and some immediate categorical aspects are reviewed. The morphisms of polar spaces are then studied in more details and are shown to preserve the spaces’ structure. Finally, it is shown that a morphism of polar spaces can be split into a morphism of nondegenerate polar spaces and a morphism of p...

Morphisms of Algebraic Spaces

Morphisms of open games

We define a notion of morphisms between open games, exploiting a surprising connection between lenses in computer science and compositional game theory. This extends the more intuitively obvious definition of globular morphisms as mappings between strategy profiles that preserve best responses, and hence in particular preserve Nash equilibria. We construct a symmetric monoidal double category i...

MORPHISMS OF ALGEBRAIC SPACES Contents

More on Morphisms of Spaces